1. A general algebraic semantics for sentential logics
Author: Font, Josep Maria, 4591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Algebraic logic
Classification :
QA
9
.
A1L44
Vol
.
7
2. Abstract algebraic logic : an introductory textbook
Author: Font, Josep Maria, 4591-
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Algebraic logic
Classification :
QA
10
.
F6
2016
3. Algebra, logic, set theory :
Author: edited by Benedikt Löwe
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic logic,Set theory
4. Algebraic Logic and Universal Algebea in Computer Science Confrence...Proceedings
Author: C.H.Bergman,R.D.Maddux,D.L.Pigozzi)eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Algebraic logic,Congresses ، Algebra, Universal
Classification :
QA
76
.
L4
v
.
425
5. Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988 Proceedings
Author: Algebraic Logic and Universal Algebra in Computer Science Conference )8891 :Ames, Iowa(, C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Algebraic logic- Congresses,، Algebra, Universal- Congresses
Classification :
QA
10
.
A45
1990
6. Algebraic analysis of basic propositional logic
Author: by: Majid Alizadeh,^AAlizadeh, Majid
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Logic, Symbolic and mathematical,Algebraic logic,Interpolation,Amalgamation
7. Algebraic and logic programming :
Author: Giorgio Levi, Mario Rodríguez Artalejo (Eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic logic-- Congresses,Logic programming-- Congresses
Classification :
QA76
.
6
.
A45843
1994
8. Algebraic and logic programming :
Author: J. Grabowski, P. Lescanne, W. Wechler (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
Classification :
QA76
.
6
J473
1989
9. Algebraic and logic programming : International Workshop, Gaussig, GDR, Novermber 14-18, 1988 : Proceedings
Author: J. Grabowski, P. Lescanne, W. Wechler )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Algebraic logic
Classification :
QA
76
.
L28
Vol
.
343
10. Algebraic and logic programming : Second International Conference, Nancy, France, October 1-3, 1990 : Proceedings
Author: H. Kirchner, W. Wechler, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Algebraic logic
Classification :
QA
76
.
L28
Vol
.
463
11. Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings
Author: H. Kirchner, G. Levi, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Algebraic logic
Classification :
QA
76
.
L28
Vol
.
632
12. Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings
Author: J. Grabowski, P. Lescanne, W. Wechler )eds.(
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Algebraic logic
Classification :
QA
76
.
6
.
A4583
1988
13. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
10
.
I5
1988
14. Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming-- Congresses,، Algebraic logic-- Congresses
Classification :
QA
76
.
6
.
A4584
1990
15. Algebraic and logic programming: 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings
Author: Michael Hanus, Mario Rodriguez Artalejo )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Algebraic logic
Classification :
QA
76
.
L28
Vol
.
1139
16. Algebraic and logic programming : 4th International Conference, ALP'94, Madrid, Spain, September 14-16, 1994 : proceedings
Author: Giorgio Levi, Mario Rodriguez Artalejo )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Algebraic logic
Classification :
QA
76
.
L28
Vol
.
850
17. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
Author: Michael Hanus, Jan Heering, Karl Meinke, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
Classification :
QA
76
.
L28
Vol
.
1298
18. Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming-- Congresses,، Algebraic logic-- Congresses
Classification :
QA
76
.
6
.
A45842
1992
19. Algebraic coding theory and information theory
Author: A. Ashikhmin, A. Barg, editors
Library: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
Subject: Information theory in mathematics, Congresses,Coding theory, Congresses,Algebraic logic, Congresses
Classification :
003
,.
54
,.
A44
,
2005
20. Algebraic coding theory and information theory : DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey
Author: A. Ashikhmin, A. Barg, editors
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Information theory in mathematics,Congresses ، Coding theory,Congresses ، Algebraic logic
Classification :
QA
10
.
4
.
A44
2005
